61. Parallel logic programming
Author: Takeuchi, Akikazu
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
642
.
T35
1992
62. Parallel logic programming
Author: / Akikazu Takeuchi
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel programming (Computer science),Logic programming
Classification :
QA76
.
642
.
T35
1992
63. Parallel logic programming in PARLOG : the language and its implementation
Author: Gregory, Steve.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194G74
1987
64. Parallel logic programming in parlog : the language & its implementation
Author: Gregory, Steve
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194
G74
65. Principles and Practice of Constraint Programming
Author: \ Gilles Pesant (ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
Classification :
QA
76
.
612
.
C7P7
2015
E-Book
,
66. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
67. Process Algebra for Parallel and Distributed Processing
Author:
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
68. Programming in PARLOG
Author: Conlon, Tom, 4591-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194C66
1989
69. Programming with constraints: an introduction
Author: Marriott, Kim
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Constraint programming )Computer science(
Classification :
QA
76
.
63
.
M37
1998
70. Prolog++ : the power of object-oriented and logic programming
Author: Moss, Christopher D. S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P2
.
M69
1994
71. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
Author: Krzysztof R. Apt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3010
72. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Author: Boi Faltings... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3419
73. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Author: Barry O'Sullivan )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2627
74. The little typer /
Author: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
Classification :
QA76
.
63
.
F75
2018
75. The transparent paolog machine
Author: / Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine,Eisenstadt
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Prolog ( Computer Program language),Logic programming ( Computer Science),Transparent prolog machine
Classification :
QA
76
.
73
.
P76E48
1991
76. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
77. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
62
.
F84
1998
78. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Functional programming )Computer science( - Congresses , Logic programming - Congresses
Classification :
QA
76
.
62
.
F84
1998
79. Trends in Functional Programming
Author: \ Jurriaan Hage , Jay McCarthy (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامههای کامپیوتری -- کنگره ها ,ساختار دادهها -- کنگره ها
Classification :
QA
76
.
62
.
T7
2015
E-Book
,
80. Trends in functional programming :
Author: Michał Pałka, Magnus Myreen (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
62
.
I58
2018
